#ifndef __INTERRUPT_H
#define __INTERRUPT_H

#include "stdint.h"

uint32_t Seconds(void);


#endif


